Algebraic Specification of a Model Transformation
نویسندگان
چکیده
In Model-Driven Engineering, a software development process is a sequence of manipulation tasks that are applied to models, where model transformations play a relevant role. MOMENT (MOdel manageMENT) is a framework that is integrated in the Eclipse platform. MOMENT provides a collection of generic set-oriented operators to manipulate EMF models. In this paper, we present the model transformation mechanism that is embodied by the ModelGen operator. This operator uses the term rewriting system Maude as transformation engine and provides support for traceability. ModelGen has been defined in an algebraic specification so that we can use formal tools to reason about transformation features, such as termination and confluence. Furthermore, its application to EMF models shows that formal methods can be applied to industrial modeling tools in an efficient way. Finally, we indicate how the ModelGen operator provides support for the QVT Relations language in the MOMENT Framework.
منابع مشابه
Combining Graph Transformation and Algebraic Specification into Model Transformation
In this paper, we propose a new framework of model transformation that combines graph transformation with algebraic specification. While graph transformation is well-suited to describe the transformation of visual models, one can observe that models are often composite structures with visual, graphical and diagrammatic components accompanied by all kinds of data objects like strings, sets, numb...
متن کاملFrom the Lorentz Transformation Group in Pseudo-Euclidean Spaces to Bi-gyrogroups
The Lorentz transformation of order $(m=1,n)$, $ninNb$, is the well-known Lorentz transformation of special relativity theory. It is a transformation of time-space coordinates of the pseudo-Euclidean space $Rb^{m=1,n}$ of one time dimension and $n$ space dimensions ($n=3$ in physical applications). A Lorentz transformation without rotations is called a {it boost}. Commonly, the ...
متن کاملAn Algebraic Specification of a Transformation Tool for Prolog Programs
The paper reports about a case study in algebraic specification. It describes TransLog, a transformation tool for pure Prolog programs. TransLog supports the interactive transformation of (a part of) a program. Six transformation steps are supported: unfolding, folding, goal definition, argument permutation (an instance of goal replacement), goal switching and definition elimination. As much as...
متن کاملRascal: From Algebraic Specification to Meta-Programming
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on algebraic specification and term rewriting (namely ASF and ASF+SDF), we are now focusing on using the best concepts from algebraic specification...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005